law of the excluded middle

[网络] 排中律;排除中界法律;中间排除律